241. Towards a formal description of Ada
Author: edited by D. Bjorner and O. N. Oest
Library: (Kerman)
Subject: ، Ada )Computer program language(,Semantics ، Programming languages )Electronic computers(
Classification :
QA
76
.
73
.
A35
T68
1980
242. Towards a formal description of Ada
Author: edited by D. Bjorner and O.N. Oest
Library: Central Library and Documentation Center (Kerman)
Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
Classification :
QA
76
.
L4
v
.
98
243. Towards a formal description of Ada
Author: edited by D. Bjørner and O.N. Oest.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
73
.
A35
E358
1980
244. Trees in Algebra and Programming - CAAP '96 :
Author: edited by Hélène Kirchner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers)
Classification :
QA166
.
2
E358
1996
245. Truth, deduction, and computation
Author: / R.E. Davis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
Classification :
QA76
.
7
.
D386
1989
246. <An> introduction to natural language processing through prolog
Author: Mattews, Clive
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Interactive computer systems►Programming languages (Electronic computers)- Semantics►Natural language processing (Computer science)
Classification :
QA
76
.
9
.
I58
,
M27
